    code: Includes the code for the SAT checker
    extra-code: Includes another implementation of SAT checker and an implementation for a quick list
    Final-Report.doc: Is a description of the programs and some of the ideas left untried
    tests.tar.gz: Is an archive that includes the tests that we tried and their output.  No screenshots are included, but a text output is included for you to browse through